relative commutative ring